|
In graph drawing and information visualization, simultaneous embedding is a technique for visualizing two or more different graphs on the same or overlapping sets of labeled vertices, while avoiding crossings within both graphs. Crossings between an edge of one graph and an edge of the other graph are allowed; it is only crossings between two edges of the same graph that are disallowed. If edges are allowed to be drawn as polylines or curves, then any planar graph may be drawn without crossings with its vertices in arbitrary positions in the plane. Using the same vertex placement for two graphs provides a simultaneous embedding of the two graphs. Research in this type of simultaneous embedding has concentrated on finding drawings with few bends, or with few crossings between edges from the two graphs.〔 Restricted models of simultaneous embedding have also been studied. In simultaneous geometric embedding, each graph must be drawn planarly with edges representing its edges rather than more complex curves. In order to guarantee that such an embedding exists, one must restrict the two given graphs to subclasses of the planar graphs. In another restricted model of simultaneous embedding, simultaneous embedding with fixed edges, curves or bends are allowed in the edges but any edge that is present in both of the given graphs must be represented by the same curve in both drawings. When a simultaneous geometric embedding exists, it automatically is also a simultaneous embedding with fixed edges.〔 Simultaneous embedding is closely related to thickness, the minimum number of planar subgraphs that can cover all of the edges of a given graph, and geometric thickness, the minimum number of edge colors needed in a straight-line drawing of a given graph with no crossing between edges of the same color. In particular, the thickness of a given graph is two if the graph's edges can be partitioned into two subgraphs that have a simultaneous embedding, and the geometric thickness is two if the edges can be partitioned into two subgraphs that have a simultaneous geometric embedding. For simultaneous embedding problems on more than two graphs, it is standard to assume that all pairs of input graphs have the same intersection as each other; that is, the edge and vertex sets of the graphs form a sunflower. This constraint is known as ''sunflower intersection''.〔 ==Simultaneous geometric embedding== Many results on simultaneous geometric embedding are based on the idea that the Cartesian coordinates of the two given graphs' vertices can be derived from properties of the two graphs. One of the most basic results of this type is the fact that any two path graphs on the same vertex set always have a simultaneous embedding. To find such an embedding, one can use the position of a vertex in the first path as its ''x''-coordinate, and the position of the same vertex in the second path as its ''y''-coordinate. In this way, the first path will be drawn as an ''x''-monotone polyline, a type of curve that is automatically non-self-crossing, and the second path will similarly be drawn as a ''y''-monotone polyline.〔, Theorem 11.1.〕 This type of drawing places the vertices in an integer lattice of dimensions linear in the graph sizes. Similarly defined layouts also work, with larger but still linear grid sizes, when both graphs are caterpillars or when both are cycle graphs. A simultaneous embedding in a grid of linear dimensions is also possible for any number of graphs that are all stars. Other pairs of graph types that always admit a simultaneous embedding, but that might need larger grid sizes, include a wheel graph and a cycle graph, a tree and a matching, or a pair of graphs both of which have maximum degree two. However, there exist pairs of a planar graphs and a matching, or of a tree and a path, that have no simultaneous geometric embedding.〔, Figure 11.2.〕〔.〕〔.〕 Testing whether two graphs admit a simultaneous geometric embedding is NP-hard.〔〔.〕 More precisely, it is complete for the existential theory of the reals. The proof of this result also implies that for some pairs of graphs that have simultaneous geometric embeddings, the smallest grid on which they can be drawn has doubly exponential size.〔.〕〔.〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Simultaneous embedding」の詳細全文を読む スポンサード リンク
|